341. Mathematical logic in Latin America :
المؤلف: edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical-- Congresses
رده :
QA9
.
A1
L37
1978
342. Mathematical logic in computer science
المؤلف: / edited by B. Domolki and T. Gergely
المکتبة: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع:
رده :
QA76
،.
M352
1981
343. Mathematical logic in the 20th century
المؤلف: ]edited by[ Gerald E. Sacks
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
2
.
M22
344. Mathematical logic in the 20th century /
پدیدآورنده :
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
345. Mathematical logic, the theory of algorithms, and the theory of sets
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Algorithms,، Set theory
رده :
QA
1
.
A413
no
.
133
346. Mathematical logic, the theory of algorithms and the theory of sets : dedicated to Academician Petr sergeevic Novikov on his seventieth birthday
المؤلف: edited by S. I. Adjan
المکتبة: (طهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Algorithms,Addresses, essays, lectures ، Set theory
رده :
QA
1
.
P736
Vol
.
133
347. Mathematical logic with special reference to the natural number
المؤلف: / [by] S. W. P. Steen
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic, Symbolic and mathematical,Numbers, Natural
رده :
QA9
.
S736
348. Mathematical logic with special reference to the natural numbers
المؤلف: Steen, Stourton William Peile
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Numbers, Natural
رده :
QA
9
.
S736
349. Mathematical logic with special reference to the natural numbers
المؤلف: [by] S. W. P. Steen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Numbers, Natural
350. Mathematical logic with special reference to the natural numbers
پدیدآورنده : Steen, Stourton William Peile
موضوع : ، Logic, Symbolic and mathematical,، Numbers, Natural
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
351. Mathematical problems from applied logic
المؤلف: / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
,.
M346
,
2006
352. Mathematical problems from applied logic I :
المؤلف: edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
353. Mathematical problems from applied logic I
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
354. Mathematical problems from applied logic : logics for the XXIst century
المؤلف: edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
M28
355. Mathematics of the 19th century: mathematical logic, algebra, number theory, probability theory
المؤلف: edited by A. N. Kolmogorov, A. P. Yushkevich
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: History - 91th century ، Mathematics
رده :
QA
26
.
M27813
1992
356. Mathematics of the 19th century : mathematical logic, algebra, number theory, probability theory
المؤلف: edited by A.N. Kolmogorov, A.P. Yushkevich
المکتبة: (طهران)
موضوع: History -- 91th century ، Mathematics
رده :
QA
26
.
M2713
357. Mathematics of the 19th century: mathematical logic, algebra, number theory, probability theory
المؤلف: edited by A.N. Kolmogorov, A.P. Yushkevich
المکتبة: (طهران)
موضوع: History - 91th century ، Mathematics
رده :
QA
26
.
M27813
1992
358. Mathematics of the 19th century : mathematical logic, algebra, number theory, probability theory, Matematika XIX veka. English
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Mathematics-- History-- 91th century
رده :
QA
26
.
M27813
1992
359. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium
المؤلف: Walter A. Carnielli and Luiz Paulo de Alcantara
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L37
1985
360. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
المؤلف: Latin-American Symposium on Mathematical Logic )7th: 5891: State University of Campinas(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses
رده :
QA
9
.
A1
.
L37
1985
